11.47/11.54	unsat
