5.87/6.73	unsat
