47.53/50.30	unsat
