2.68/3.53	unsat
