11.98/12.61	unsat
