47.14/48.54	unsat
