54.88/57.33	unsat
