54.30/54.75	unsat
