48.66/50.87	unsat
