5.48/8.04	unsat
