11.97/12.49	unsat
