12.07/16.32	unsat
