19.86/20.04	unsat
