5.03/5.84	unsat
