47.18/50.38	unsat
