47.60/50.70	unsat
