47.71/50.08	unsat
