5.40/7.96	unsat
