47.46/49.80	unsat
