47.88/48.01	unsat
