31.44/31.53	unsat
