54.02/54.15	unsat
