5.87/9.49	unsat
