6.68/10.49	unsat
