5.67/8.49	unsat
