51.85/54.38	unsat
