48.92/50.69	unsat
