5.87/6.07	unsat
