5.87/6.34	unsat
