47.56/48.93	unsat
