47.95/48.14	unsat
