1248.41/1255.04	unsat
