54.05/54.99	unsat
