5.87/6.22	unsat
