5.60/5.84	unsat
