12.37/12.94	unsat
