11.87/12.49	unsat
