14.46/15.12	unsat
