7.20/7.94	unsat
