47.04/48.54	unsat
