3.44/3.53	unsat
