4.22/5.97	unsat
