3.97/5.84	unsat
