5.41/6.92	unsat
