19.55/20.61	unsat
