48.28/49.14	unsat
