20.69/20.71	unsat
