4.78/5.97	unsat
