48.41/51.04	unsat
