47.32/50.46	unsat
