5.87/7.26	unsat
