19.55/20.89	unsat
