3.22/4.75	unsat
