48.38/50.40	unsat
