5.87/6.49	unsat
