54.34/54.52	unsat
