7.45/7.65	unsat
