54.85/60.41	unsat
