7.18/7.45	unsat
