7.26/7.45	unsat
