48.15/50.93	unsat
