4.28/5.84	unsat
