48.66/51.56	unsat
