7.37/7.42	unsat
