5.87/7.45	unsat
