12.47/12.54	unsat
