47.71/50.42	unsat
