2.49/3.53	unsat
