4.78/5.82	unsat
