2.41/2.85	unsat
