47.69/50.50	unsat
