19.86/19.91	unsat
