7.07/7.42	unsat
