2.18/3.97	unsat
