54.11/54.26	unsat
