9.17/11.54	unsat
