7.27/7.42	unsat
