5.87/7.82	unsat
