7.28/7.42	unsat
