5.28/7.90	unsat
