47.80/49.35	unsat
