12.24/16.45	unsat
