5.18/8.84	unsat
