48.96/51.07	unsat
