11.45/12.84	unsat
