54.79/57.46	unsat
