2.43/3.53	unsat
