7.68/12.49	unsat
