4.80/5.84	unsat
